Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
🌳Instruction Selection
Flag this post
The Easiest Way to Build a Type Checker
🔍Type Inference
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
A Function Inliner for Wasmtime and Cranelift
🏗️Cranelift
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
📊Profile-Guided Optimization
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
🏗️Cranelift
Flag this post
Do You Know Where Your Load-Bearing Code Is?
🧪Testing
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
🤖Automation
Flag this post
Loading...Loading more...